.pln {
    color: #000;
}
@media screen {
    .str {
    color: #080;
}
.kwd {
    color: #008;
}
.com {
    color: #800;
}
.typ {
    color: #606;
}
.lit {
    color: #066;
}
.pun, .opn, .clo {
    color: #660;
}
.tag {
    color: #008;
}
.atn {
    color: #606;
}
.atv {
    color: #080;
}
.dec, .var {
    color: #606;
}
.fun {
    color: red;
}
}@media print, projection {
    .str {
    color: #060;
}
.kwd {
    color: #006;
    font-weight: bold;
}
.com {
    color: #600;
    font-style: italic;
}
.typ {
    color: #404;
    font-weight: bold;
}
.lit {
    color: #044;
}
.pun, .opn, .clo {
    color: #440;
}
.tag {
    color: #006;
    font-weight: bold;
}
.atn {
    color: #404;
}
.atv {
    color: #060;
}
}pre.prettyprint {
    padding: 2px;
    border: 1px solid #888;
}
ol.linenums {
    margin-top: 0;
    margin-bottom: 0;
}

/*How to add line numbers to all lines in Google Prettify? - http://stackoverflow.com/questions/8399547/how-to-add-line-numbers-to-all-lines-in-google-prettify*/

li.L0, li.L1, li.L2, li.L3, li.L5, li.L6, li.L7, li.L8 {
    /*list-style-type: none;*/
}
li.L1, li.L3, li.L5, li.L7, li.L9 {
    background: #eee;

}